;;----------------------------------------------------------------------
;; Last Update:  1-Nov-96 by EHN
;;
;; Language Technologies Institute
;; 11-712 -- Self-Paced Laboratory
;; Algorithms for NLP
;;
;; Module 2: GLR Parsing -- Semantic Lexicon
;;
;; Copyright (c) 1996, Carnegie Mellon University, All Rights Reserved.

(*O-MAN-1 
  (=IS-A &O_ANIMATE))

(*O-MEN-1 
  (=IS-A &O_ANIMATE))

(*O-DOG-1
 (=IS-A &O_ANIMATE))

(*A-SEE-1
 (+INSTRUMENT &O_OPTICAL_INSTRUMENT))

(*A-SEE-2
 (+INSTRUMENT &O_OPTICAL_INSTRUMENT))

(&O_ANIMATE
 (+ACCOMPLICE &O_ANIMATE))

(*O-BOY-1
 (=IS-A &O_ANIMATE))

(*O-TELESCOPE-1
 (=IS-A &O_OPTICAL_INSTRUMENT))

(&O_OPTICAL_INSTRUMENT
 (+INSTRUMENT &O_OPTICAL_INSTRUMENT))